made profile4 less brittle when lock acquisition is cheap #869
Merge branch 'bugfixes/tokumx-1.3'