@LineOf7s Well then, probably the fact that my USB stick is formatted as exFat.
I guess I'll give it a break with Amiberry for a while.
Anyway, I am just updating my system, including the big one (second list item from the RetroPi-Setup Script). Given I get my PS3 controllers working on Bluetooth again afterwards, maybe Amiberry also behaves differently :-)