fix php-mode