compilation fix for android arm target