avcodec/mpeg4videoenc: Use 64 bit for times in mpeg4_encode_gop_header()