Make $user_time, $mpd_elapsed and $mpd_length compatible with times_in_seconds