Fix bdw-gc CMakeLists.txt bugs