Make aggregation needed in NI-PoRep competitive wrt single proofs