Add some Klee run hacks.