Fix config.sh (actually, Makefile.base)