Also increased php version for Travis