lower the makeinfo version requirement to 4.0.0