Rename Core.php to Core.php.patch