Fixing call to write_minterm_file.