Fix RTOS build options