Use <xmmintrin.h> for WIN32, else use <mm_malloc.h>