Make file to checkbox
Merge pull request #45 from klee-web/options

Enable stdin using checkbox