Ooops, missed the travis configuration file update