Revert rtltypes.h change from r25264 until a proper fix is found.