lib32gcc-4.7-dev binary: binary-from-other-architecture