update mp4tools to version 3.4.2