Export portal.js as a zip and extract it in distrib.