Hey Marius,
> Did you get anywhere with this? As Ludovic mentioned, it might make > sense to work around it in gnu-build-system too if patching GCC turns > out to be difficult. Yup, turned out patching GCC was too difficult. I'm experimenting a filter over inputs passed to set-path-environment-variable in set-paths. I hope to send this hack to review later this week. Thanks, Mathieu
