Minor changes to compile in Linux