Trying another fix for the PHP/HHVM timezone issue with travis