I think currently there is no longer we can find the option..export movie in menu.
Try install “K-Lite Codec Pack 64bit” or latest “DivX codec pack”
or lastest quicktime..(I forget which one I installed..then solve this prbm)
If you are using MAC:
https://forums.appleinsider.com/showthread.php?t=66277
Mr.Bill…:
https://www.codecguide.com/klcp_64bit.htm
Now go to composition > make movie , change the output module value from render queue, select the ffdshow video codec inside Format Options then click on codec settings, and you can set whatever you want it.. Avi by Xvid codec.
then render it….done…