I doubt that this is the reason for this test's segfault on Jenkins, but it that was a real (if minor) issue...