Restore correct setup-makefiles.sh script