Remove a non-ASCII character from dts.c