@rough-minister-58256 : Thanks! We switched to parking_lot locks, which are supposed to be more consistent cross- platform