[graph-tool] Installation issue on AWS