http://d.puremagic.com/issues/show_bug.cgi?id=1964 ------- Comment #4 from lindevel at gmx.net 2008-05-17 11:46 ------- bug #1963 is still not solved. I expect this to cause some trouble when more people try to create headers now... But thanks for incorporating that patch! --