I just tried and it worked now. That was the issue, thank you.
Exactly the same issue with mbed-os-5.7.7 and gcc 7.2.1 ! Keep us updated 😉
Pierre-Marie AncelePierre-Marie Ancele