makefile optimizations #2
Revert "switch to HZ=1000"

This reverts commit d10a7decca7f84bdf2d3709e1962dbb9a6cbc51b.