more attempts at making travis less flakey