Hello! Sorry for the slow response. That is indeed unintentional! We just updated the download, which should fix it, but if there's still an issue, please let us know.
Thanks for that; unfortunately the issue still persists. I believe `card.pdi` is supposed to be in the `launcher/` directory (it's currently in the root). Sorry for the trouble!
