Thanks Dirk and Robert, So it turns out the issue is that I'm building with `make -j2` (in fact, -j1 also exhibits the issue) and it goes away with `make -j4 like the build script does. You can imagine what happens... Apologies for not proposing a patch; I really know nothing about cmake. Cheers. -- Gaetan