- rel 4; use debian patch instead of our own creation