F-13: /usr/bin/virtuoso-t crashes when the kde session starts