Fixed #687: Allow input via stdin