final stuff for IDSgrep 0.4