#!/bin/bash
exec mono $MONO_OPTIONS "/usr/lib/manos/manostool.exe" "$@"
