Add back .PHONY for man/man3/*.3 to see if this fixes jenkins issues