fix compilation problem