Linux ARM compilation fixes