Unix.isatty Unix.stdin = false
Unix.isatty Unix.stdout = false
Unix.isatty Unix.stderr = false