(orcc-lib) Fix CmakeLists.txt on linux.