Fix an minor issue in the cmake