[mbed] Fixes the previous fix ;)