Tweak testoutput normaliser to recognize `integer-gmp2`