Use uuid4.py instead of uuidgen

CSIE workstations doesn't provide the command 'uuidgen'