change php-mode version to 1.7