make it compile in newer rustc