.PHONY targets store their position in the Makefile. Verification of phonies happens in main after canonicalizing the pathnames