Update include/fix_types.h