Fix setup-makefiles.sh