minor fix in the cmakelists of modules