fix setup-makefiles.sh

Change-Id: Id942b4169e7ab39a58af42b2624638e196be7e85