Fix the IE version number extractor to work without space between MSIE and the version number, close #5858