tweaks to the travis config