tags 332562 - unreproducible thanks Since FTBFS was reproduced (although different cause), I remove this tag.