A conditional abelianity theorem for special fourfold pairs with a half-weight divisor

Using the abelianity theorem for special compact Kähler manifolds in every dimension, we prove virtual abelianity of the entire orbifold fundamental group of the special order-two root orbifold associated with a pair $(X,\frac{1}{2}D)$, where X is a smooth projective fourfold and D is a nonempty smooth connected divisor. We construct a special smooth projective eightfold whose fundamental group surjects onto the required group.