Applying debian patches