speed up dsl compilation