> Yes, this is a case that needs some benchmarking before making any other > decision. To make that a bit easier I updated the benchmark set at https://drive.google.com/open?id=0B7iRtublysV6Ql9oMTF2YWlmS3c to include a test with --gdb-index. Cheers, Rafael