Proper way to submit a Portfile?