Updates to build with FreeRTOS