Fix up the travis script