grep: stop leaking line strings with -f