this file is an installation file and may now be safely deleted