Making the newer version of normalisation formalism compile on dice