I found a few other mutex that are not unlocked before freeing. With this change denemo no longer crashes on exit on mac os X