work around bug in install-info