versioning now includes the commit hash, or -final for tagged releases

Old versioning was broken anyway.