Debian packaging for libwebsockets