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