debugging info for the travis script