agda: jailbreak to fix build with recent versions of 'text'