Update machrt.h