Fix php version for travis