improve support for arm architectures with gcc