Done.

I believe it is working as it should.
Binary named div for OS X is included
Minor change in printf