* this header does not exist (fixed android build)