#!/bin/sh
/usr/share/smlserver/bin/smlserverc.x86-linux /usr/share/smlserver $*
