If libc++ has not declared bad_array_length, then declare it here just so that it gets into the binary.