Depending on correct php api
Fixes for php 5.5.* crash
Updating Vagrantbox