GPS: Fix up setup-makefiles.sh

Change-Id: I05f15a665a51a5e33dbba690c15c6e4e087e194b