use sed to fixup shebangs, not carry around huge patch for that