Can you update the Mbed platform to v6.7 please.
Meanwhile Mbed 6.8 is published.
CC @valeros for update