issue #2905: helloworld build ok on android