jjames pushed to gap (master). "Bring back the -stat patch, still needed by gap-pkg-io."