Attached is a patch that attempts to build the manifest in an inferior. This fails because manifest->gexp returns a gexp that we can’t get out of the inferior to pass to build-profile. So even more of the surrounding code would have to be evaluated in the inferior. @Ludo: your patch looks good to me. It’s a pragmatic, minimally invasive fix, so thumbs up emoji from me! Thank you! -- Ricardo