externals added to git repository, in order to make it self-consistent