Bug fixed it seems: OpenMP support fully operational