Fix build failed on Travis CI because of missing ANDROID_HOME