MacOS fix for makeinfo check