Add a workaround for terminals without bidi support (Fixes #1912)
release 2013.12.09.1