#!/bin/sh
exec $0.x86_64 $@
