Fix some data installed to wrong location
Fix some data installed to wrong location

This works around a bug in the build machinery, which installs some
data to a wrong location.
php-build/php-build,gerardroche/php-build