[nhc-bugs] Compiling with the -T option