whonixcheck: fixes