Fix versioncmp