The attached patch makes the default value of the record check? filed smarter, and avoids boot failures when using an NFS system and omitting to specify "check? #f". There are no checkers for NFS and none are required.