We should retry on EINTR

Otherwise it can happen that the flock function fails for no actual reason.