If make upgrade deletes a file, print its name to stdout.