Fixed some things in gcc4mbed.mk