Correct timezone settings for php in travis.