Fix #174: workaround for PHP segfault on Ubuntu 14.04
Fix #174: workaround for PHP segfault on Ubuntu 14.04

datasift/storyplayer,datasift/storyplayer,datasift/storyplayer,datasift/storyplayer,datasift/storyplayer