patchupdate.py: Use abort() function instead of hardcoded call to exit.