make the library less dependent on the mbed.h header