Added mach/machine.h include