remove php-mode.el