Thanks, Michel, that sounds plausible. In that case it seems we can close this
bug and the only thing to do here is to ask the developers to fix their games.