grep: be GNU compatible with -f EMPTY_FILE