FIX #43: post-processing not applied when saving dump images