continue to update it at make-time.

One shouldn't need to run "make" on server source to get the stuff we say
plugins should use.