fix CMakeLists.txt for valadoc