Summary of changes: 485a067... update sourceforge download URL (*) d0bbde6... Fix directory ownership. (*) (*) This commit already existed in another branch; no separate mail sent