making rundemo.sh posix-compliant