Made dump_ifg work again by removing all coloring related code.
drwxr-xr-x - ir