AviSynth mp4 Not Supported
In the end, I made it work just as posted above, by installing the Haali Media Splitter. I have seen posts by people who say that this software is needed to process MP4 files.