As the OS version is likely going to be more optimized, fall back to
it if available, as detected by configure.