Sorry, the patch:

diff -rup a/scripts/lib/ptxd_make_xpkg_pkg.sh b/scripts/lib/ptxd_make_xpkg_pkg.sh
--- a/scripts/lib/ptxd_make_xpkg_pkg.sh          2016-05-30 16:41:31.000000000 +0200
+++ b/scripts/lib/ptxd_make_xpkg_pkg.sh       2016-06-09 09:23:50.372027049 +0200
@@ -314,7 +314,7 @@ install ${cmd}:
               echo "using '$(ptxd_print_path "${src}")' instead"
     fi &&

-    if [ -z "${stip}" ]; then
+    if [ -z "${strip}" ]; then
               if readelf -h "${src}" &> /dev/null; then
                   strip="y"
               else