Copy machine.h from git head