Manpages of colorgcc in Debian unstable