Propagate version number in rest of bundled ASDF.