made sure we're using STD_MUTEX when we're using STD_THREAD