change php version for travis