switch to my fork of muffin for great GTK 3.7 justice. upgrade to 1.7.2
kdepimlibs -> 4.10.1, update symbols