whonix_shared/usr/lib/whonix/whonixcheck/help_check_tor_bootstrap.py: fix on Whonix-Workstation
whonix_workstation/usr/bin/torbrowser: fix