If they succeed the free toolchain can be packaged in guix.