travis CI fixes again