ah, sorry for the bumps.
if you haven’t already, try running apt-get install gcc-multilib - we need the 32bit libs since gcc-arm is itself 32bit.
we’ll make sure to highlight this in the docs (in-progress) going forward as well as look at options for eliminating the prerequisite entirely.