bugfix for compile in linux