new auto build script
pure klee