here: https://github.com/rixtox/mp4dovi/releases/tag/v0.1.1
sorry, I should stop renaming the tools I'm using...
this is only needed when you use 7-1-1 and input a Profile 5 video. Some movies anywhere profile 5 web-dl produce corrupted video in mp4box.
BTW, latest beta can make MP4 with 7.1 EC3 audio. It can also now mux up to 40 subtitles and 10 audio.
ATV Infuse should work as long as your P8/P5 mp4 file is HEV1 / DVH1.