How far will you be from the lecturer? A simple condenser mic plugged into the audio-in port might be better for recording than the inbuilt one. If you can rig up a deflector cone just below the head of the external mic, that'll help divert the sound to the diaphragm. Making a simple stand for the mic would help too, but cushion it with foam rubber at its base.