added fix for CTRL-C (\u0003) as banner delimiter