#!/bin/bash

ARCH=32 $(cd `dirname "$0"`; pwd)/run.sh "$@"