Modified files top be php 5.3.13 compliant...
The short [] array creation does not work on php 5.3.13