Fix stripping away non-digits from OS release number