Previous fix did not work, use a more radical solution

Redirect make output to /dev/null.