Fixing tags sorting after https://github.com/bricebou/picotags/commit/60d5d3a310c319d098a0479b96d4df4126568e48 because of special chars in tags name