Use mind4se version of mindot-viewer