--- src/expr/mkexpr.orig 2020-06-19 10:59:27.000000000 -0600 +++ src/expr/mkexpr 2022-10-11 14:28:31.120453409 -0600 @@ -16,6 +16,7 @@ # copyright=2010-2014 +shopt -u patsub_replacement filename=`basename "$1" | sed 's,_template,,'` --- src/expr/mkkind.orig 2020-06-19 10:59:27.000000000 -0600 +++ src/expr/mkkind 2022-10-11 14:34:17.008996126 -0600 @@ -15,6 +15,7 @@ # copyright=2010-2014 +shopt -u patsub_replacement filename=`basename "$1" | sed 's,_template,,'` --- src/expr/mkmetakind.orig 2020-06-19 10:59:27.000000000 -0600 +++ src/expr/mkmetakind 2022-10-11 14:34:32.248020036 -0600 @@ -18,6 +18,7 @@ # copyright=2010-2014 +shopt -u patsub_replacement cat <