frescobaldi-devel: upgrade to 20130820