Fix lambda-term.1.6 checksum