Updated the travis configuration