updated component according to "isabelle build_e -V 2.0";
support arm64-linux;