Fix ChaOS build error