Andrea Veri commented:
@mcatanzaro this should ideally be reported upstream, there's not much we can do here :-)
