#!/bin/sh
exec "/cygdrive/c/Program Files/Boogie/Boogie.exe" "$@"