The [email protected]. platform is using the 2.7.4 core version too. According to their github site after that they changed to core 3.0.0 but also made it clear that it has limitations:
The latest Arduino Core v3.0.0 is a major release that brings several breaking changes including removed and significantly changed APIs. Many popular libraries are not synchronized with these changes which may lead to non-obvious compilation and linker errors. Please thoroughly examine the summary of the changes in the release notes before updating the platform.
If you have a compiled version with 3.0.2 to download I can test this issue with it.