Remove prod4 from exports (prod4 is gone)