bashrc: invoke xcolors2console with awk