Update ports-setup.ec