Fixes #2372 - Strip non-digit characters from non-numeric OS versions