- patch from debian (fixes build)