Hello. Thanks a lot for fixing the bug so quickly!
This is just to clarify, since I read that you have mentioned "make --shuffle" in the changelog, that this bug and the others that have been filed with it (around 32 in total) already happen when using make 4.4.1 alone, without any --shuffle option. When using --shuffle, the number of issues found is more than 800, and we have no plans to report them yet. (Of course, if you actually made the package to build ok with --shuffle, the better). Thanks.
