removes file_extension.php