Allow specifying make binary

Some distros already have make 4.0 as default version, which cannot be
used to build Android.