Fix random.py to work when installed and not use Python 2.x-only function execfile