fix debian build issue