dobin for making the binary