nix-super/scripts/remove-patches.pl