coords.pl 0.7.3.1: remove use of CharWidth