tweak array allocation to be faster on php