Bug#583951: workaround

[Iker Salmón San Millán]

like the same problem with multimedia players relatinated with libva1, a
simple workaround is linking the library:

ln -s /usr/lib/libva.so.1.0.1 /usr/lib/libva-0.31.0.6.so.1


http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=586016