php build on armv7

[s_graf]

I noticed that there is n newer release of php (php-7.0.31) since the most
recent bulk build of armv7. So I tried to build it and ran into a problem
with gcc, which I think is known.
How did the armv7 bulk build manage to build php when it also failed to
build gcc?