final tweaks for Travis config