fix of #509, related to php 5.3

this bug was related to php 5.3 only. Also, I recommend to hide php version on your web server (expose_php option), even if it helps sometime :).