#!/bin/sh
[ -n "$echo" ] && set -x
# the following is for the 64 bit version
python3 "$@"