Allow piping via stdin and --require at the same time

Fixes #724
3.40.3