Hmm, that's very strange. The upgrade_header() function is part of the upgrade.php script, as long as your running the most recent one.

Are you sure everything in the install is from 7.3, nothing old?

What version of PHP are you using?