trying a different php version on travis