If I'm lucky, this will fix the issue causing the auto-tester to segfault.