Run klee as non-root user