 @mitya57 [I screwed it, but will fix only tomorrow. Anyway it is not much important for th …], That would be appreciated. As said, I would find it useful to be able to test build plasma 5.20 for amd64
 Now it built, from the fourth try.