Two minor changes to CMakeLists.txt needed to compile the Extension.