Adding Puppet Android NDK to vagrant file