I'm -1 on changing Policy here, even though the change would not have landed this week had you realized it affected these packages. By the way, the games I maintain in the GNOME team install to /usr/games/ . I believe this is a deviation from what distros not based on Debian do. We don't touch their .desktop files which means their Exec line does not have a /usr/games/ prefix. Thank you, Jeremy Bícha