Ahem... Never speak too soon, seems it was not fixed after all. Trying again (new commit will follow)
I think it is fixed now