frescobaldi-devel: upgrade to 20131015