fixed stupid handling of mutexes

I don't know why I was trying to hide the standard library, but I'm not
doing that anymore...