Improved IOManager.open_file().