Bugpoint's default memory limit (100MB) was too low for valgrind, so