setup-makefiles.sh has been invoked in extract-files.sh