Update configuration to work better with Travis CI.