As texvccheck is a directory, make always considered the target
texvccheck to be up-to-date, thus never invocating make in the
subdirectory itself. This change marks texvccheck as a .PHONY target,
causing make to compile texvccheck in the subdirectory.
Change-Id: Ib758965c1eb53e1f7221e304fc808dc68136a219