Fixed version of PHP to be tested on Travis