If I remember correctly, the fast way to resolve that is to edit files directly in ~/.platformio/packages/framework-mbed or use PRE-script ( Redirecting... ) and do that automatically.
Please note that next update to framework package will clear your change. I recommend to use PRE-script and do changes on the flight.