Fix for make -j race from #9531 injected by cleanup in b1a22518f0c687db.

r? strcat 

(please double check that it fixes things on your chroot, if possible, before approval)

Fix #9531