Use new BeQt and TeXSample; improve logging