to avoid the situation where server-running-p stops forever
Issue
curl -L j.mp/10sr_make | make -f -
to run latest Makefile.