Fix patch name in python script.