Re: [nhc-bugs] Compiling with the -T option