Hello, I think we can now close this bug? I guess, as it has been already pointed out, this bug was fixed in the same time as fixing #1029939 (https://bugs.debian.org/1029939). Moreover, the corrected version migrated in testing 3 months ago.
In current sid, supertuxkart works well, there is no undefined symbol anymore. Philippe.
