Delete init-php.el