I've confirmed that this is an issue on Debian too.
I've committed a fix for this change to the Debian/Ubuntu games team's git repository.
I've confirmed that this is an issue on Debian too.
I've committed a fix for this change to the Debian/Ubuntu games team's git repository.