Debug : Make IO::put_file() work.