#!/bin/bash

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