added ARM support (32-bit)