Fix travis options