fix compilation error with different configuration