Followup to #4026: better patch for flock detection.
2 files changed