xinerama und tvtime/xine