server.mk: fix release archive names