camlp4: refresh 4.02+rc1 checksum