Re: test-sysdef-asdf failing