Fix thread-safety issue in debug.c

Closes #203
4 files changed