Be less specific with PHP versions for Travis.