Fix double free
Merge branch 'returntypehinting' of github.com:krakjoe/php-src into returntypehinting