libomp is found both on regular linux and on mic .unnecessary comment removed