#!/bin/sh
exec "/workspace/destdir/bin/gpg-wks-client" "$@"
