#1875: Can't add packages in dist-f11-override to update