Turned out the problem was with the format of the videos (specifically, the parameters I used with ffmpeg
to create the MP4 videos). I ensured that the videos are baseline
H.264 – and everything worked properly. See this question for more details.