Building `ppp` right now fails when cross-compiling for other systems. Discovered it while generating an installation image for RockPro64 on a `x86-64-linux-gnu` system. guix build ppp --keep-failed \ --target=aarch64-linux-gnu This patch removes an outdated substitution, and modifies the existing ones to match what the source code expects.