correct Portfile