Tried to fix the travis configuration file...