* wav2gig tool: use note number from wav file name if there was no note info stored in the wav file itself already.