build: Do not put a .distversion file into the GIT tree