If I do > ffmpeg -i video.avi -vcodec libx264 -map 0:0 -use_timeline 1 > -use_template 1 -hls_playlist 1 -force_key_frames ... -segment_times > ... -f dash playlist.mpd ffmpeg seems just to ignore -segment_times option? Is this option working?