Update GNU Make to version 4.0.

Signed-off-by: Rudá Moura <ruda.moura@gmail.com>