Fix issue #193: remove double typedef declaration.