`info_file` is actually not a file needed but the name of the information file which will be created when the interface is run. I'm not sure of the role of a dummy file?