Update build instructions to mention modifications to c_types.h