Db dumps are compressed only if you select to zip them. If you've upgraded the db successfully on local server, you're basically done. Just import it to a clean 2.0.15 install on your production server. upgrade.php doesn't do anything to the files, it just upgrades the db to 2.0.15. Doesn't matter where you upgrade it, as long as it completes successfully.