Reformatted headers; fixed support for OSX (trying to created a timed mutex will fail, however).