I have a noob question about hooking up a line-in audio jack to pin A2 on a teensy 3.2. I have built the recommended circuit shown on the audio system design tool page for ADC input. My question is should I tie the ground "common" wire from the line-in cable to pin to the teensy "GND" pin or the "AGND"pin or does it matter?"