Fix loading of php-mode