Add missing Android File implementation and AndroidOS header