Set the default value of user to None in _sudo_prefix