I found that the problem does not exists on all hardware, I have the
impression that the problem manifests itself on systems with 2 or more
cores. I tried it on a single core machine, and there was no problem.