php7: adjust patch to unbreak build (fixes #3202)