fixup travis script