Fix travis now that we do not have modules