Fix for gcc compilation