Remove now-unused #if 0 code.