SMutex partially replaced with std::mutex

SPURecompiler.h: SETcc bug fixed