link libdvdnavmini.so.4.1.2