texlive-games: extra-license-file
