Improved the tiny debugger so that a file descriptor for output can be specified.