Debian/Ubuntu/Red Hat packaging updates for 4.2 release