patching use of gcc typeof