verify: fix problem with hole punching on newer Linux kernels