server: cosmetic changes on the Makefile