在为ACL2构建图书时，我收到以下错误。我该如何摆脱它？
Magic number checking on storable file failed at ../../lib/Storable.pm (autosplit into ../../lib/auto/Storable/_retrieve.al) line 380, at /<elided>/sw/acl2/books/build/certlib.pl line 1850
答案 0 :(得分：1)
删除文件cert-pl-cache.tmp和build/Makefile-cache（如果存在）。
这是用于编写缓存的Perl版本与当前用于读取缓存的版本之间不兼容的症状。