Hi Ludo, I hope you're doing well! If you can find the time to upload those "raw" binaries, too, we can continue trying to bootstrap. For details, please refer to my last message, here:
https://debbugs.gnu.org/cgi/bugreport.cgi?bug=41669#128 Thank you for your help! -- Chris
signature.asc
Description: PGP signature
