build.sh: improve diff parameters
Merge branch 'fix/mingw64' into develop