php-uuid-all-dev: empty-binary-package
