diff --git a/lib/hdb/hdb.asn1 b/lib/hdb/hdb.asn1
index f31d9b312..fa093e899 100644
--- a/lib/hdb/hdb.asn1
+++ b/lib/hdb/hdb.asn1
@@ -2,9 +2,7 @@
 HDB DEFINITIONS ::=
 BEGIN
 
-EncryptionKey EXTERNAL
-KerberosTime EXTERNAL
-Principal EXTERNAL
+IMPORTS EncryptionKey, KerberosTime, Principal FROM krb5;
 
 HDB_DB_FORMAT INTEGER ::= 2	-- format of database, 
 				-- update when making changes