[graph-tool] how to install the pre-compiled files?