Alastair,
Thanks a lot for you fix. I have managed to flash 2cd2032 with V5.2.5 build 141201 using brickfix, unfortunately no version other than that worked for me. Also there is one strange bug with this version. I cannot pick a firmware file because the file selection window is not shown...