This is a dummy file that simply
gives the version number as the
file extension.