semi-randomly tweaking travis configuration because I do not know how to test is locally