Bring Travis CI build back to normal