ARM: linux compilation