Fix a bug that caused SSE2 to be preferred even if SSE4.1 is available.