fix OS X build... Ctrl+C readline is not supported