fixed broken includes of default.cfg in benchmark Makefiles