Revert "Allow the use of make 4.0"

This reverts commit d054b8af9a01fb4ef04b0b83b421c0621bb9a734.