[graph-tool] bash: ./configure: No such file or directory