use php-mode as it has been fixed