Adopt a patch from debian (system-lockfree.patch)