A memory leak fix for dx-verify-file