Add test script check-names.sh
diff --git a/tests/scripts/list-identifiers.sh b/tests/scripts/list-identifiers.sh
index e144cd2..130d9d6 100755
--- a/tests/scripts/list-identifiers.sh
+++ b/tests/scripts/list-identifiers.sh
@@ -7,7 +7,7 @@
     exit 1
 fi
 
-HEADERS=$( ls include/mbedtls/*.h | egrep -v 'bn_mul' )
+HEADERS=$( ls include/mbedtls/*.h | egrep -v 'compat-1\.3\.h|bn_mul' )
 
 rm -f identifiers