Portfile modification date checks vs. Portfile revisions