It compiles now; reset the ASDF version to 1.6