Fix const int--preprocessor mismatch