Fixed the travis build (again...)