fixed name change for FreeRTOS 8.0.0