Fix setup-makefiles.sh

Change-Id: I2bf8b2de80a68ab2b3a7b82607f951c7e5aff195