Update CMakeLists to corpstated's repo