travis updating php version