Always use buildinf.h, which now includes the mk1mfinf.h data.