Compilers seem to have prblems generating correct code unless all
sub-instructionsets for skylake-avx512 are enabled.  On the other hand,
Ubuntu 16.04 does not yet support -march=skylake-avx512, so we cannot simply
use that.