GNU Awk version 4.0.0 compiled with mingw32 aborts when
trying to compile /^[\xA0 ]+/. This did not occur with
version 3.1.84. /^[\\xA0 ]+/ in version 4.0.0 produces the
desired results. Debugging with gdb produces: