fix debian build