add parameter to WJEDump() to be able to write to another FILE*