don't use OpenMP on windows 32bits