cleaned up code now that boost mutexes work in mingw

cleaned up code now that boost mutexes work in mingw