Puppet: Updated Android NDK version