Yet another try at fixing the travis build