update mp4tools to version 3.4.2
Merge pull request #4372 from mircomacrelli/mp4tools-3.4.2

update mp4tools to version 3.4.2