use libedit instead of libreadline on Mac OS X