Fix code relying on the output format being ctf-text