Hopefully fixed the Travis CI configuration.