Use std::sync instead of libsync
Remove unnecessary mutability