Hi Jochen, sorry, I didn't find the issue you linked. If you want, you can close this one.
/lib is a symlink to usr/lib $ ls -l /lib lrwxrwxrwx 1 root root 7 Apr 22 15:08 /lib -> usr/lib I can also reproduce the issue using the single-line CMakeLists.txt. I couldn't test using mmdebstrap because of an unrelated error during setup of libhdf5-openmpi.