Make debug_timestamp() thread-safe.
Merge pull request #199 from alexander-zimmermann/issue-198

Fix issue #198