also install plainextra for texinfo