testsuite: fix T1735_Help/State.hs build failure (AMP)