Workaround for missing AVX support on old linux kernel.