Yes. That is exactly what I had to do to get it working as well. Unfortunately I also have the issue of it randomly freezing on me and having to hard boot the pi to fix it. I’m running same settings as you.

I will write up a step by step guide combining the two processes above to make it easier to figure out for others that want to check out this amazing game though!