#! /bin/sh
prefix=/boot/home/bekaffe
exec_prefix=${prefix}
exec ${exec_prefix}/bin/kaffe kaffe.rmi.rmic.RMIC ${1+"$@"}

