a kind of convoluted way of disabling readline echoing