Adjusted IOManager.open_file().