added an ARM specific library