Fixes to cmake file of dx-verify-file