Was not sure if this was necessary in DivAlg.c, now that Main.c is
no longer committed. Readded include in header, just incase.

If this is not desired, simply go back to previous commit instead.