[AC 21.5] Require makeinfo 4.12 or newer