Remove compiled.php from the repository