mbed GCC Makefile for mbed platforms