Hello I think the quickest way to solve this issue is to remove beastie and hexley in debian:
So please apply those 2 patches: https://github.com/supertuxkart/stk-code/commit/851290d4c866130abb22ee61114016378af4cb45 https://github.com/supertuxkart/stk-code/commit/cae38e862a1dbc1486283f551ee023e6c2255085 As seen in https://github.com/supertuxkart/stk-code/commits/1.2 Those patches have been fully tested and should be ok for production usage, then you can remove those karts in supertuxkart-data (assets) STK team