Let's use https://github.com/wbsoft/frescobaldi/commit/0cce03.patch