Delete menumanager.php.orig