php: fix build