worked around a bug that causes stmx::*tlog-pool* to have inconsistent
contents, i.e. some cached TLOGs are NIL, resulting in all kind of
strange errors.

The root reason for such inconsistency still needs to be investigated,
i.e. this is a temporary solution, but at least it fixes github bug #7
Merge branch 'master' into HEAD