build-all.sh updated to include de.itemis.mps.util