fix specs to run on php 5.3