fixed compilation problem under gcc