travis: fixups