removing old copy of php-mode