Remove redundant run of tools/android/setup.sh

This fixes #548.