Use a private name for MAKEFLAGS in jhalfs, so that it does not propagate to top make, when ticking "Run the makefile"