Hello. Alexandre asked me about this build failure today, but maybe without realizing I already reported it here eight years ago.
I've tested again and this is still random for me, with a low failure rate (maybe between 3% and 4%). If you get a much higher failure rate, consider yourself lucky, because it means you are finally able to reproduce it :-) Thanks.
