missing header file xmmintrin.h

Hi, I want to build MIRACL[https://github.com/miracl/MIRACL] with intel sgx sdk. But there was a error in mrgf2m.c which needs xmmintrin.h, but sgx sdk doesn't provide such header file. In libc, xmmintrin.h just provide some memory api, doesn't involve  IO. 
Is there any solution to this problem, thanks.