Fix stderr filtering not to be bash-dependent