Hopefully fixed Travis-CI configuration.