Thanks, Phil, that version does work. None of the three problems can be found:
Browsing files to load scripts correctly identifies files and directories;
File sizes are correct;
Badpixel.bin can be found and loaded.
This appears to be one of the last versions that I saved. I noticed a problem with newer versions earlier in December.