The behavoiur is correct . The point is that there is a difference between plugins and game files: Rockbox contains a couple of plugins, which some of are games. Those will always get installed since they are part of Rockbox. However, sone of those plugins (namely doom) require additional game files to run. The option for (not) installing game files does refer to those game files, not to the game plugins itself.