judgk/Makefile.in: add .PHONY target