Once PHP 7.0 decides to stop segfaulting, we should revert dd59326
Once PHP 7.0 decides to stop segfaulting, we should revert dd59326