You recently released libdvdnav and libdvdread versions 4.1.3. Should these both be installed? Is one a dependency of the other? Are they just different versions of each other one with menu support one without? Where is the SVN for these, and is the SVN the suggested one to use if you are using the SVN of mplayer?