this should be set by konsole