install 32-bit loader if absent

run.sh

@@ -1,5 +1,12 @@
 #!/bin/sh
+
 dir=$(dirname $(readlink -f $0))
+
+if [ ! -x /lib/ld-linux-armhf.so.3 ] ; then
+	echo "/lib/ld-linux-armhf.so.3 not found, installing..."
+	sudo cp -v $dir/lib/ld-linux-armhf.so.3 /lib/
+fi
+
 export MOZ_PLUGIN_PATH=$dir/lib/plugins/
 export XDG_CONFIG_HOME=$dir/etc/
 export ALSA_CONFIG_PATH=$dir/etc/asound.conf