#3651: undelete the original file used for file conversion