Finally managed to get mp4 files working, though I need to adapt the thing to work for other file types as well (hopefully won’t be too hard.)