fix avx512f detection (and .gitignore)