AVX512 instruction causing SIGILL in unsupported hardware

Description:

Currently, the /usr/bin/msolve shipped by Arch Linux have AVX512 instruction, and it can cause SIGILL when running on hardware that doesn't support it. Additionally, compiling msolve from the tarball provided by upstream works fine and it doesn't have AVX512 in it.

Additional info:

• package version(s):0.6.5-1
• config and/or log files:
• link to upstream bug report, if any:

Steps to reproduce:

1. Download mq_2_1.ms as an input test file
2. Run msolve -f mq_2_1.ms on hardware without AVX512 support will resulting in SIGILL
3. Using gdb /usr/bin/msolve and execute r -f mq_2_1.ms can see that it is caused by:

0x7ffff7f65816 <initialize_basis_hash_table+0096> vcvttsd2usi rdi, xmm0

added priority3-normal severity4-low statusunconfirmed labels

assigned to @freswa, @arojas, and @toolybird

closed with commit 8e148641

added resolutioncompleted scopebug statusconfirmed labels and removed statusunconfirmed label

unassigned @freswa and @toolybird