fixed mac-only download link; now handle linux too;