Fix build error for ChaOS