Package: libdvdnav4 Version: 5.0.1-1 mplayer2 2.0-554-gf63dbad-1+b1 no longer starts after upgrading libdvdnav4 from 4.2.0+20120524-2 to 5.0.1-1: % mplayer mplayer: error while loading shared libraries: libdvdnavmini.so.4: cannot open shared object file: No such file or directory