build Isabelle sqlite-jdbc component from official download;
support arm64-linux;