Travis and cargo tweaks