#!/bin/sh
INSTENGINE="substitute_this_text_by_the_installed_engine_path"${CIAOARCH:+".$CIAOARCH"}
ENGINE=${CIAOENGINE:-${INSTENGINE}}
exec "$ENGINE" "$@" -C -b $0 

