mu: fix build by using older texinfo
v8: fix build with newer gcc