Sorry folks, my mistake when copying the patched tar.gz file. Now corrected and have added a bz2 copy with the same contents. Jacques Firas Kraiem wrote:
The files you (?) made of the pre-patched agrsm sources is named agrsm-20070702.tar.bz2, which can be misleading as the archive is compressed with gzip and .bz2 is the suffix usually used for files compressed with bzip2. It would be wise to rename it to agrsm-20070702.tar.gz.