whonix_workstation/usr/bin/whonix: revised a bit