Fix -fdebug-typing (see #88).

I messed up my #ifdefs in 853f67c2e5aaa1fdeb8339d1e07c8bca19ecfd68.