Fix some naming
download rustlibdir only when necessary