fix php version in travis