bad include in avx shifts