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