Adding support for ARM on Linux