(orcc-lib) Bugfix on orcc/CMakeLists.txt