This bug is actually the same as: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=883303
And the same fix works for me: cd /usr/lib/x86_64-linux-gnu sudo ln -s nvidia/current/libnvidia-ptxjitcompiler.so.1 . So after all that seems a simple packaging issue. Thanks, -- Pascal Obry / Magny Les Hameaux (78) The best way to travel is by means of imagination http://www.obry.net gpg --keyserver keys.gnupg.net --recv-key F949BD3B
