Make sure we use the right libreadline on OS X.