Fix travis build (again again)