Fix travis tests (which are run without zeus)