Fixes bug 1005723 - Gave string operators to platform_version field, cha...

...nged its mapping.

@peterbe r?