fix dependency name in servcomp migration
1 file changed