Update Makefile.config.icsi