Work around a problem with deallog when loading shared libs.

I have no idea how this happens, but the patch at least explains the symptoms...
My bad -- I should compile stuff before checking it in :-( It used to be
```
  std::cout << deallog.depth_console(0) << std::endl;
```
and I correctly removed the first part but not the second.

Please check again.