myDSL Extensions (deprecated) :: Installing .dsl extensions