Manpages of colorgcc in Debian testing