fix php versions in travis