Make 'debug' generate a *.debug.txt file