Only use promptline on OS X.

It is unbearably slow on the Raspberry Pi.