[GTK] HTMLMediaElement duration is not correct when mediasource duration is set to positive infinite.