[graph-tool] openmp_enabled() returns False.