fix Travis support (again)