grep: plug a trivial memory leak