fix some unnecessary part of mutex.h and thread.h