diff -Ndur libsmbios-2.2.28/doc/pkgheader.sh libsmbios-2.2.28-fix-bashisms/doc/pkgheader.sh
--- libsmbios-2.2.28/doc/pkgheader.sh	2008-05-13 18:19:39.000000000 +0300
+++ libsmbios-2.2.28-fix-bashisms/doc/pkgheader.sh	2014-11-20 00:28:20.117811035 +0200
@@ -49,7 +49,7 @@
         exit 1
     fi
     echo
-    pushd $tmpdir >/dev/null 2>&1
+    cd $tmpdir
     echo "Running BIOS Update:"
     if ! ./$_PRG -u -f ./bios.hdr "$@"; then
         echo
@@ -59,7 +59,7 @@
         echo "You must now reboot your system!"
         echo
     fi
-    popd >/dev/null 2>&1
+    cd - >/dev/null
 }
 
 checkroot()