Makefile: Maintain generated configuration under `$(LOCAL)'.