Issue #42: Fix compiling of recent php versions

Fixes issue #42