Just for reference I’ve logged a ticket here on GitHub with a working module to add Mari0 to ports. Eventually I’d like to have a game selector rather than coding it specific to one game.

https://github.com/RetroPie/RetroPie-Setup/issues/1194