travis: use new mavgen wrapper