Back to original settings. Something's funny with Travis CI.