Yeah, although just trying the installation another time might be easier than debugging this problem…