travis: small improvements