wmbatppc debian package