Make database generator compatible with php < 5.3.6