builds fail randomly

This happens often. For an example see: https://gitlab.idiap.ch/bob/gridtk/-/jobs/110175