Kerberos Server Version 3.12 Administrator's Guide

Administering the Kerberos Server
Removing Unused Space from the Database
Chapter 8 239
Step 8. Remove the /tmp/filename file after you have verified that the new
database is functioning without problems.