Fix for dev_setup.py with creating 'splice' user