Revert commit e8a607ef because now we are writing a file. We are
compelling the user to run this script in the directory containing the
input file so the output file does not get lost in the arborescence.