• new android port: fix android build and tests

    @paulrouget
    paulrouget committed Jul 31, 2018
    bef2fe8