Create dfx.h