Fix a few minor issues with the push script (especially UTF-8 compatibility)