I am renaming it to demo.bin.
EDIT: Your question got me thinking so I decided to look a bit further. Turns out I was not set to view file extensions, so the file was actually named demo.bin.bin. Fixed that and all seems well now. Embarrassing, I’ve been in IT for 15 years. Don’t tell anyone. 