Makefile: Fix the cover_server target