Update manifest to work with Debian