Attempting to fix the failing build on php 5.3 and 5.4