fixed an annoying bug with readline misscalculating the strlen with escape codes; fixed by enclosing them between 'x01' and 'x02'