The reading of commands from files should be converted from the stdio style I/O to the use of the streams library.
