Mac formatting: Demo.exe is easy to find