xplhub and xpllib for debian