added some missing mbed libs