New version of ASDF pushed