compilation fix for old gcc