Indeed! It seems the downloaded file is a zip archive without ".zip" extension, if you add ".zip" to the downloaded file name it unpacks to "Lighthouse.pdx" that runs as expected. I think I uploaded the original pdx file (which, technically, is a folder on mac) without archiving it first.