there is no more a top-level CMakeLists.txt searching it; this makes the plucker backend compilable again