added debian patches