Mark 'user' as PHONY in the top-level Makefile