Go ahead and report the bug. Just exactly who are you reporting it to? Everyone seems to have their own version of libdvdnav/libdvdread or patches to a known release. The MPlayer guys haven't released an update in three years.

jim