Dummy file used for installation.  Do not delete!