On 2012/02/28 13:32, Thomas Gellekum wrote: ... > I'm working on it (3.7.1; there are no 3.7.2 source tarballs for > download, AFAICS). I should have an update ready by the end of the week. You made my day! Yes, no 3.7.2 src yet. I tried port 3.7.1, too. It would be good enough for me. TIA Oli