compilation patches from debian