Get Regular Updates for KLEE