klee: update default params