FWIW, this has now moved to https://github.com/jonhoo/drwmutex so you can use it directly in your projects.