Now using gdb to run the tests.
Merge branch 'ci' into ci-segfault-fix