Hopefully fix some GCC-based buildbots. GCC apparently decays the array to a pointer...