ports/editors/kile
