A python script that patches PYC files with new co_filename