hack to make arduino compile in ci environment