fix travis (again)