php7: fix build of php7-mod-intl