Case void* to pthread_mutex_t before passing to unlock
Case void* to pthread_mutex_t before passing to unlock

This change was necessary to get Check to compile on a
c++ compiler

tarruda/check,tarruda/check,tarruda/check,tarruda/check,tarruda/check