Question about ASDF test failure on ABCL