more robust: size varies due to different position information in "isabelle build" vs. "isabelle dump";