@johnes
Broadly speaking if you have a Pi3 the mame-2003 emulator is a good bet with the 0.78 romsets.
If you want to stick with the 0.375b then I'd use lr-imame4all - not least because it will allow all the Retroarch functionality as well as easier controller file config.
If you just want to enable a shader (including the one mentioned in the thread you list above), I would strongly recommend using the inbuilt configuration editor:
https://github.com/retropie/retropie-setup/wiki/Configuration-Editor