Get rid of version.in, generate it ourselves when in a git tree