no change in codes. OK'ed by the maintainer, bouyer@.
without modifying a version number (it doesn't seem to have one). Modifications to the distfile reviewed by myself and found to be benign.