Misc: Adapt GitHub's version format to the new one (introduced in 0fb2ee1bf74).