added this to mutex to compile with gcc under osx