small compilation times improvements