Coin Download for Linux (rpm, tgz, txz, i486, i586, x86_64)