php4-dev: debian-changelog-file-missing
php4-dev: no-copyright-file
