Proxy shell script to run platform's Makefile