Is this necessary?  [Travis-ci docs](http://about.travis-ci.org/docs/user/languages/php/) seem to suggest this is the default behavior.