bugfix for KERBEROS_MAP_FILE