Remove a redundant declaration (from TeXLive patch-05-const)