wmfrog debian package