make_single &&
make World CC="$CC" &&
make_normal