Fixed bug on gcc machines