simplifications & domain-mapping for compiled files