Fix logging in MiniSat stubs