dx-verify-file fixes