Additional Debian files for libraries