Make it compile in GCC