make patch.py script to modify file given as command line parameter