Delete codegen.php