Summary of changes: b113737... - Fix AVX checks (#801650) (*) d893fa4... - Fix AVX checks (#801650) (*) (*) This commit already existed in another branch; no separate mail sent