Give absolute paths to KLEE's tools in lit.cfg . This fixes a long
standing FIXME: