graph-tool: avoid hard-coding /usr/local