fix #5: Readline requires extra escape characters to tell it to ignore escape chars when calculating the prompt length