#!/usr/bin/sh /usr/bin/mono "/usr/lib/grgen/GrShell.exe" $*