Fixes #16 (mutex.ml was to blame).