Fixing build on php 5.3