more travis fixups