Hello, OK, rebuilding from a new build directory seems to have fixed the issue (rerunning cmake and building did not; also, I used raw cmake instead of "ccmake -i" just in case... Sorry for the false alarm. Best regards, Yvan