[graph-tool] How to use the public key in Ubuntu 12.04