(SOLVED) banjo side melody in Pete Seeger's "Buffalo Gals"

Here's a melody I'd really like to identify, if it *is* an independent song, which it might not be. You can hear it within the banjo song "Buffalo Gals" by Pete Seeger in the following YouTube video...

Pete Seeger - "Buffalo Gals"
https://www.youtube.com/watch?v=S92bWBB0ymo

The melody I want to identify starts at 1:13. He plays it a few times in a row, and it is not the main "Buffalo Gals" melody. I listened to a few other versions of "Buffalo Gals" on YouTube but none of them have that side melody, so it's a mystery...

(x)
2nd South Carolina String Band - Buffalo Gals
https://www.youtube.com/watch?v=bvykZZjPRZE
(x)
Buffalo Gals - Woody Guthrie
https://www.youtube.com/watch?v=_6rpp8eXbSI
(x)
Buffalo Gals ("It's a Wonderful Life" Theme by Dimitri Tiomkin)
https://www.youtube.com/watch?v=JebKuQTlE5I
(x)
Eric Weissberg - Buffalo Gals
https://www.youtube.com/watch?v=teRZ-eNKThE

Did Pete Seeger just make up a side melody to throw in there, or is he quoting/excerpting some other song, maybe an old folk song? The reason this is so significant to me is I used to sing that mystery melody a lot as a kid, and I used to sing the last several notes with the words "The Wackiest Ship in the Army." At that time I believed that melody was from "The Wackiest Ship in the Army", either the film from 1960 or the resulting TV series from the early '60s. However, recently I listened to excerpts from both on YouTube and none of them had that melody. That creates another mystery: Did I hear that Pete Seeger song as a kid, or did I hear that melody somewhere else as a kid and it just happened to be included in Pete Seeger's song? I know for a fact I did listen to at least one other Pete Seeger song when I was a kid, "Big Rock Candy Mountain", which is on the same album as "Buffalo Gals", and I was familiar with the song "Buffalo Gals" then, so maybe that's where I heard it, and maybe I just confused my associations.

Does that side melody sound familiar to somebody here?

"The Girl I Left Behind Me"
https://www.youtube.com/watch?v=oblF9EqE9RA

Did you ever watch Bugs Bunny? Take a look at the end of this cartoon-"Bunker Hill Bunny".
http://www.liveleak.com/view?i=38f_1...420&comments=1

Awesome, bugmenot1! That's it! I wonder how the heck you knew or found that.

Yes, I did watch Bugs Bunny as a kid, though unless that tune was in multiple places I probably wouldn't have remembered it. So the mystery is partly solved: the title is "The Girl I Left Behind Me" (not the Monkees version!), although part of the mystery will probably never be solved: which place(s) I heard it enough such that I could remember it enough to sing it.