It is not called movie but the extension is .mpg. It is called TLBMPEG
Here is a mapkey I use that you can add to your config file in your startup folder.
Be sure to have the first frame showing before starting and have 24 frames in the animation.
I also try to set the window size smaller than my screen with close to the proper aspect ratio before running the mapkey. (helps with text size and aspect ratio issues)
You can customize the mapkey to your preferences. The first 24 is the frames per second and the second the number of frames. The 480 and 720 are the size in pixels.
It saves a file in your current directory that you need to rename before running the mapkey again or it will overwrite.
mapkey mpg @MAPKEY_LABELmpg movie;~ Select `main_dlg_cur` `appl_casc`;\
mapkey(continued) ~ Close `main_dlg_cur` `appl_casc`;~ Command `ProCmdMpostSaveAs` ;\
mapkey(continued) ~ Trail `UI Desktop` `UI Desktop` `DLG_PREVIEW_POST` `file_open`;\
mapkey(continued) ~ Open `file_open` `Type`;~ Close `file_open` `Type`;\
mapkey(continued) ~ Select `file_open` `Type` 1 `db_631`;~ Input `file_open` `Inputname` `1`;\
mapkey(continued) ~ Update `file_open` `Inputname` `1`;\
mapkey(continued) ~ Command `ProFileSelPushOpen@context_dlg_open_cmd` ;\
mapkey(continued) ~ Move `mpeg_export_dlg` `mpeg_export_dlg` 2 31.346769 12.647672;\
mapkey(continued) ~ Open `mpeg_export_dlg` `SettingsOption`;\
mapkey(continued) ~ Close `mpeg_export_dlg` `SettingsOption`;\
mapkey(continued) ~ Select `mpeg_export_dlg` `SettingsOption` 1 `custom`;\
mapkey(continued) ~ Open `mpeg_export_dlg` `FPSOption`;~ Close `mpeg_export_dlg` `FPSOption`;\
mapkey(continued) ~ Select `mpeg_export_dlg` `FPSOption` 1 `24`;\
mapkey(continued) ~ Update `mpeg_export_dlg` `HeightSpin` 480;\
mapkey(continued) ~ Update `mpeg_export_dlg` `WidthSpin` 720;\
mapkey(continued) ~ Activate `mpeg_export_dlg` `DurationNumFramesCheck` 1;\
mapkey(continued) ~ Update `mpeg_export_dlg` `DurationNumFramesInput` `24`;\
mapkey(continued) ~ Activate `mpeg_export_dlg` `ExportPush`;
