Kerberos Server Version 3.1 Administrator's Guide

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