Empty boot/*.defs.