Use pthread_equal in libmidi++ for portability