Debian packaging for PEBL