Proper use of the grepprg command