VOBOX and UI fixes

Fixes #91.

Includes a fix for properly defining `X509_USER_PROXY` for csh.