Compilation fix for old gcc