#!/bin/sh
exec /usr/bin/cli /usr/lib/boogie/BVD.exe "$@"