Re-simplify bootstreap of ASDF.