use only the armv7 files for libstdc++