Okay. I placed the show_bad.exe file right on the SD card (root directory) and placed a copy of the RAW black file in the root directory as well. I opened a command prompt window and ran
show_bad IMG_xxxx.CR2 128 > badpixel
and got a badpixel file, but the content of that file says "file is unknown". My RAW file is 10,682,368 bytes on disk.