[set] One more try to fix things That I don't let a "make check -j10" run finish before pushing things out means either that we need to speed up our build / test process, or I need a faster laptop...