Split between libpymux and pymux.