confusion about PATH_SUFFIXES in CMakeLists.txt

[Absoler]

#56
is this value should be "lib"? On my Ubuntu 20.04 only modifying this make a successful build. or it will not find libz3.a which should be in ${z3_prefix}/lib