Added generated top level definition for Version.hs