[graph-tool] Re: openmp_enabled() returns False.