If all else fails, it looks as though a combination of VLC and libbluray will work. Maybe.