most recent updates to a couple of scripts, including fixing a bug in thirdparty/cogent