attempt to fix travis-ci build against php 5.3