Issue #17712: Fix test_gdb failures on Ubuntu 13.04.
#16518: fix links in glossary entry.