buildinfo.mk ghcconfig.mk
