ports/editors/kile/patches
