more Travis debug code