Android port needs etc headers