fix php 4.3