The same problem is described in #8607