use Ricty on Mac OS X