so raspbian until recently was armhf userspace only. so my guess is these are simply armhf binaries. your best bet is debian with multi-arch or armhf userspace.
honestly, (and what i do) keep a separate armhf userspace install on sdcard and use that as necessary. problem solved.
honestly, (and what i do) keep a separate armhf userspace install on sdcard and use that as necessary. problem solved.