use more compatible output redirection