better video length detection in mplayer-seek2end