add semi-auto-generated headers that point to sys/mach