fixup the travis cfg