fix php lt 5.4 (fix #56)