In particular, redirection from a file was leading to abort(), so we provide an error message instead.