Update CMakeLists.txt

To be consistent with c0b7ceb7a0ade1ce77a189f6cae916807f5e6bef