allow disabling the creation of the compiled.php