fix php on travis having different results