Fixed the travis ci file, again