The fetch command in Portfiles