python3: delete patch-created files for re-patching