Specifying the travis script