dtrace.h should be fixed by 5afb921fc