Added Mfuzz and deps to update-exec.sh
Build 2.7.2 yet again
Merge branch 'release'