Software times on Core, local build

I have v.0.5.0 but there’s no freertos4core directory, so there’s no freertos4core.h.
Has anyone succeeded in making this work?
What are the build flags, too?

You’d need to import the library.

But as it seems there is an issue I opened more than two weeks ago, but Particle has not yet responded

I assume you are building with a local toolchain. But that library would also be available for Build