//proc/self/root/usr/share/info/krb5-user.info.gz