Several bugs in the Makefile (Online IDE export as makefile)

Which IDE are you talking about? The online compiler or Mbed Studio? If it is the former then it is unlikely to be looked at as the focus is on the replacement, Mbed Studio…