ASCII control characters in my terminal