Noting bugs from gcc on avx2 code