Code

Decide whether to build http-push in the Makefile