This file may be safely deleted after installation.