restore_file.py takes arguments from stdin