Use console-colors.c for ANSI color codes