'make update' now also updates the external git repository.