fix travis (and update REQUIRE)