Small cleanup on makex64gadgets.py