more adjustments for travis.ci