add standard header needed by the android build