Attempt #1 to fixup travis-ci config.