"error: 'F' was not declared in this scope" after using #include "mbed.h"

[ArminJo]

Hello,
I am porting the IRMP library to Arduino Nano 33 BLE, but get errors.
The minimal program reproducing it is:

// minimal error demo
#include <Arduino.h>
#include "mbed.h"
//#define F(a) a // This definition fixes the error: "error: 'F' was not declared in this scope"
mbed::Ticker sMbedTimer; // not use in minimal error demo

void setup() {
    Serial.begin(115200);
    // Just to know which program is running on my Arduino
    Serial.println(F("START " __FILE__ " from " __DATE__));
}

void loop(){
}

As documented, commenting out line 4 fixes it.
I saw, you introduced the behavior with this commit, but I do not know the background.

Can you add the fix #define F(a) a to mbed.h???

Thanks
Armin