install extra package for stubs-32 deb