Give "tools/config" more chances to compile