update sidekick for acl2 changes