Actually check in the travis config