In the Fedora 42 dockerfile to build it is stated that `mcpp` is no longer available https://github.com/souffle-lang/souffle/blob/d6dfcb1addccda0aac3498703fed14dca1fb03a9/.github/images/fedora-42/Dockerfile#L7 but when I build a Fedora 42 rpm using this dockerfile (which works fine), the resulting `rpm` file still has a `mcpp` dependency (I guess from https://github.com/souffle-lang/souffle/blob/d6dfcb1addccda0aac3498703fed14dca1fb03a9/CMakeLists.txt#L471) which means that the rpm package can not be installed.