Debian bug #1105558 identifies a potential design issue with our Makefile. * [ ] verify our build is correctly ordered, * [ ] repeat builds with --shuffle.